$\forall$$a$:Id, $l$:IdLnk, ${\it tg}$:Id. rcv($l$,${\it tg}$) $=$ locl($a$) $\in$ Knd $\Rightarrow$ False